allow doc archives to be built for versions in the rc stage
diff --git a/Doc/Makefile b/Doc/Makefile index 61ccf84..afdf35f 100644 --- a/Doc/Makefile +++ b/Doc/Makefile
@@ -176,9 +176,10 @@ autobuild-html: make html SPHINXOPTS='-A daily=1 -A versionswitcher=1' -# for stable releases: only build if not in pre-release stage (alpha, beta, rc) +# for stable releases: only build if not in pre-release stage (alpha, beta) +# release candidate downloads are okay, since the stable tree can be in that stage autobuild-stable: - @case $(DISTVERSION) in *[abc]*) \ + @case $(DISTVERSION) in *[ab]*) \ echo "Not building; $(DISTVERSION) is not a release version."; \ exit 1;; \ esac
